; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = trunc i64 %"SymVar_0" to i8
  %".5" = zext i8 %".4" to i32
  %".6" = zext i32 %".5" to i64
  %".7" = trunc i64 %".6" to i8
  %".8" = zext i8 %".7" to i32
  %".9" = zext i32 %".8" to i64
  %".10" = trunc i64 %".9" to i8
  %".11" = zext i8 %".10" to i32
  %".12" = zext i32 %".11" to i64
  %".13" = trunc i64 %".12" to i32
  %".14" = zext i32 %".13" to i64
  %".15" = trunc i64 %".14" to i32
  %".16" = add i32 1, %".15"
  %".17" = zext i32 %".16" to i64
  %".18" = trunc i64 %".17" to i32
  %".19" = zext i32 %".18" to i64
  %".20" = trunc i64 %".19" to i32
  %".21" = zext i32 %".20" to i64
  %".22" = zext i32 0 to i64
  %".23" = shl i64 %".22", 32
  %".24" = or i64 %".21", %".23"
  %".25" = zext i32 65521 to i64
  %".26" = urem i64 %".24", %".25"
  %".27" = trunc i64 %".26" to i32
  %".28" = zext i32 %".27" to i64
  %".29" = trunc i64 %".28" to i32
  %".30" = zext i32 %".29" to i64
  %".31" = trunc i64 %".30" to i32
  %".32" = zext i32 %".31" to i64
  %".33" = trunc i64 %".32" to i32
  %".34" = zext i32 %".33" to i64
  %".35" = trunc i64 %".34" to i32
  %".36" = add i32 0, %".35"
  %".37" = zext i32 %".36" to i64
  %".38" = trunc i64 %".37" to i32
  %".39" = zext i32 %".38" to i64
  %".40" = trunc i64 %".39" to i32
  %".41" = zext i32 %".40" to i64
  %".42" = zext i32 0 to i64
  %".43" = shl i64 %".42", 32
  %".44" = or i64 %".41", %".43"
  %".45" = zext i32 65521 to i64
  %".46" = urem i64 %".44", %".45"
  %".47" = trunc i64 %".46" to i32
  %".48" = zext i32 %".47" to i64
  %".49" = trunc i64 %".48" to i32
  %".50" = zext i32 %".49" to i64
  %".51" = trunc i64 %".50" to i32
  %".52" = zext i32 %".51" to i64
  %".53" = trunc i64 %".52" to i32
  %".54" = zext i32 %".53" to i64
  %".55" = trunc i64 %".54" to i32
  %".56" = trunc i64 %".30" to i32
  %".57" = zext i32 %".56" to i64
  %".58" = trunc i64 %".57" to i32
  %".59" = zext i32 %".58" to i64
  %".60" = trunc i64 %".59" to i32
  %".61" = lshr i64 %"SymVar_0", 8
  %".62" = trunc i64 %".61" to i8
  %".63" = zext i8 %".62" to i32
  %".64" = zext i32 %".63" to i64
  %".65" = trunc i64 %".64" to i8
  %".66" = zext i8 %".65" to i32
  %".67" = zext i32 %".66" to i64
  %".68" = trunc i64 %".67" to i8
  %".69" = zext i8 %".68" to i32
  %".70" = zext i32 %".69" to i64
  %".71" = trunc i64 %".70" to i32
  %".72" = zext i32 %".71" to i64
  %".73" = trunc i64 %".72" to i32
  %".74" = add i32 %".60", %".73"
  %".75" = zext i32 %".74" to i64
  %".76" = trunc i64 %".75" to i32
  %".77" = zext i32 %".76" to i64
  %".78" = trunc i64 %".77" to i32
  %".79" = zext i32 %".78" to i64
  %".80" = zext i32 0 to i64
  %".81" = shl i64 %".80", 32
  %".82" = or i64 %".79", %".81"
  %".83" = zext i32 65521 to i64
  %".84" = urem i64 %".82", %".83"
  %".85" = trunc i64 %".84" to i32
  %".86" = zext i32 %".85" to i64
  %".87" = trunc i64 %".86" to i32
  %".88" = zext i32 %".87" to i64
  %".89" = trunc i64 %".88" to i32
  %".90" = zext i32 %".89" to i64
  %".91" = trunc i64 %".90" to i32
  %".92" = zext i32 %".91" to i64
  %".93" = trunc i64 %".92" to i32
  %".94" = add i32 %".55", %".93"
  %".95" = zext i32 %".94" to i64
  %".96" = trunc i64 %".95" to i32
  %".97" = zext i32 %".96" to i64
  %".98" = trunc i64 %".97" to i32
  %".99" = zext i32 %".98" to i64
  %".100" = zext i32 0 to i64
  %".101" = shl i64 %".100", 32
  %".102" = or i64 %".99", %".101"
  %".103" = zext i32 65521 to i64
  %".104" = urem i64 %".102", %".103"
  %".105" = trunc i64 %".104" to i32
  %".106" = zext i32 %".105" to i64
  %".107" = trunc i64 %".106" to i32
  %".108" = zext i32 %".107" to i64
  %".109" = trunc i64 %".108" to i32
  %".110" = zext i32 %".109" to i64
  %".111" = trunc i64 %".110" to i32
  %".112" = zext i32 %".111" to i64
  %".113" = trunc i64 %".112" to i32
  %".114" = trunc i64 %".88" to i32
  %".115" = zext i32 %".114" to i64
  %".116" = trunc i64 %".115" to i32
  %".117" = zext i32 %".116" to i64
  %".118" = trunc i64 %".117" to i32
  %".119" = lshr i64 %"SymVar_0", 16
  %".120" = trunc i64 %".119" to i8
  %".121" = zext i8 %".120" to i32
  %".122" = zext i32 %".121" to i64
  %".123" = trunc i64 %".122" to i8
  %".124" = zext i8 %".123" to i32
  %".125" = zext i32 %".124" to i64
  %".126" = trunc i64 %".125" to i8
  %".127" = zext i8 %".126" to i32
  %".128" = zext i32 %".127" to i64
  %".129" = trunc i64 %".128" to i32
  %".130" = zext i32 %".129" to i64
  %".131" = trunc i64 %".130" to i32
  %".132" = add i32 %".118", %".131"
  %".133" = zext i32 %".132" to i64
  %".134" = trunc i64 %".133" to i32
  %".135" = zext i32 %".134" to i64
  %".136" = trunc i64 %".135" to i32
  %".137" = zext i32 %".136" to i64
  %".138" = zext i32 0 to i64
  %".139" = shl i64 %".138", 32
  %".140" = or i64 %".137", %".139"
  %".141" = zext i32 65521 to i64
  %".142" = urem i64 %".140", %".141"
  %".143" = trunc i64 %".142" to i32
  %".144" = zext i32 %".143" to i64
  %".145" = trunc i64 %".144" to i32
  %".146" = zext i32 %".145" to i64
  %".147" = trunc i64 %".146" to i32
  %".148" = zext i32 %".147" to i64
  %".149" = trunc i64 %".148" to i32
  %".150" = zext i32 %".149" to i64
  %".151" = trunc i64 %".150" to i32
  %".152" = add i32 %".113", %".151"
  %".153" = zext i32 %".152" to i64
  %".154" = trunc i64 %".153" to i32
  %".155" = zext i32 %".154" to i64
  %".156" = trunc i64 %".155" to i32
  %".157" = zext i32 %".156" to i64
  %".158" = zext i32 0 to i64
  %".159" = shl i64 %".158", 32
  %".160" = or i64 %".157", %".159"
  %".161" = zext i32 65521 to i64
  %".162" = urem i64 %".160", %".161"
  %".163" = trunc i64 %".162" to i32
  %".164" = zext i32 %".163" to i64
  %".165" = trunc i64 %".164" to i32
  %".166" = zext i32 %".165" to i64
  %".167" = trunc i64 %".166" to i32
  %".168" = zext i32 %".167" to i64
  %".169" = trunc i64 %".168" to i32
  %".170" = zext i32 %".169" to i64
  %".171" = trunc i64 %".170" to i32
  %".172" = trunc i64 %".146" to i32
  %".173" = zext i32 %".172" to i64
  %".174" = trunc i64 %".173" to i32
  %".175" = zext i32 %".174" to i64
  %".176" = trunc i64 %".175" to i32
  %".177" = lshr i64 %"SymVar_0", 24
  %".178" = trunc i64 %".177" to i8
  %".179" = zext i8 %".178" to i32
  %".180" = zext i32 %".179" to i64
  %".181" = trunc i64 %".180" to i8
  %".182" = zext i8 %".181" to i32
  %".183" = zext i32 %".182" to i64
  %".184" = trunc i64 %".183" to i8
  %".185" = zext i8 %".184" to i32
  %".186" = zext i32 %".185" to i64
  %".187" = trunc i64 %".186" to i32
  %".188" = zext i32 %".187" to i64
  %".189" = trunc i64 %".188" to i32
  %".190" = add i32 %".176", %".189"
  %".191" = zext i32 %".190" to i64
  %".192" = trunc i64 %".191" to i32
  %".193" = zext i32 %".192" to i64
  %".194" = trunc i64 %".193" to i32
  %".195" = zext i32 %".194" to i64
  %".196" = zext i32 0 to i64
  %".197" = shl i64 %".196", 32
  %".198" = or i64 %".195", %".197"
  %".199" = zext i32 65521 to i64
  %".200" = urem i64 %".198", %".199"
  %".201" = trunc i64 %".200" to i32
  %".202" = zext i32 %".201" to i64
  %".203" = trunc i64 %".202" to i32
  %".204" = zext i32 %".203" to i64
  %".205" = trunc i64 %".204" to i32
  %".206" = zext i32 %".205" to i64
  %".207" = trunc i64 %".206" to i32
  %".208" = zext i32 %".207" to i64
  %".209" = trunc i64 %".208" to i32
  %".210" = add i32 %".171", %".209"
  %".211" = zext i32 %".210" to i64
  %".212" = trunc i64 %".211" to i32
  %".213" = zext i32 %".212" to i64
  %".214" = trunc i64 %".213" to i32
  %".215" = zext i32 %".214" to i64
  %".216" = zext i32 0 to i64
  %".217" = shl i64 %".216", 32
  %".218" = or i64 %".215", %".217"
  %".219" = zext i32 65521 to i64
  %".220" = urem i64 %".218", %".219"
  %".221" = trunc i64 %".220" to i32
  %".222" = zext i32 %".221" to i64
  %".223" = trunc i64 %".222" to i32
  %".224" = zext i32 %".223" to i64
  %".225" = trunc i64 %".224" to i32
  %".226" = zext i32 %".225" to i64
  %".227" = trunc i64 %".226" to i32
  %".228" = zext i32 %".227" to i64
  %".229" = trunc i64 %".228" to i32
  %".230" = trunc i64 %".204" to i32
  %".231" = zext i32 %".230" to i64
  %".232" = trunc i64 %".231" to i32
  %".233" = zext i32 %".232" to i64
  %".234" = trunc i64 %".233" to i32
  %".235" = lshr i64 %"SymVar_0", 32
  %".236" = trunc i64 %".235" to i8
  %".237" = zext i8 %".236" to i32
  %".238" = zext i32 %".237" to i64
  %".239" = trunc i64 %".238" to i8
  %".240" = zext i8 %".239" to i32
  %".241" = zext i32 %".240" to i64
  %".242" = trunc i64 %".241" to i8
  %".243" = zext i8 %".242" to i32
  %".244" = zext i32 %".243" to i64
  %".245" = trunc i64 %".244" to i32
  %".246" = zext i32 %".245" to i64
  %".247" = trunc i64 %".246" to i32
  %".248" = add i32 %".234", %".247"
  %".249" = zext i32 %".248" to i64
  %".250" = trunc i64 %".249" to i32
  %".251" = zext i32 %".250" to i64
  %".252" = trunc i64 %".251" to i32
  %".253" = zext i32 %".252" to i64
  %".254" = zext i32 0 to i64
  %".255" = shl i64 %".254", 32
  %".256" = or i64 %".253", %".255"
  %".257" = zext i32 65521 to i64
  %".258" = urem i64 %".256", %".257"
  %".259" = trunc i64 %".258" to i32
  %".260" = zext i32 %".259" to i64
  %".261" = trunc i64 %".260" to i32
  %".262" = zext i32 %".261" to i64
  %".263" = trunc i64 %".262" to i32
  %".264" = zext i32 %".263" to i64
  %".265" = trunc i64 %".264" to i32
  %".266" = zext i32 %".265" to i64
  %".267" = trunc i64 %".266" to i32
  %".268" = add i32 %".229", %".267"
  %".269" = zext i32 %".268" to i64
  %".270" = trunc i64 %".269" to i32
  %".271" = zext i32 %".270" to i64
  %".272" = trunc i64 %".271" to i32
  %".273" = zext i32 %".272" to i64
  %".274" = zext i32 0 to i64
  %".275" = shl i64 %".274", 32
  %".276" = or i64 %".273", %".275"
  %".277" = zext i32 65521 to i64
  %".278" = urem i64 %".276", %".277"
  %".279" = trunc i64 %".278" to i32
  %".280" = zext i32 %".279" to i64
  %".281" = trunc i64 %".280" to i32
  %".282" = zext i32 %".281" to i64
  %".283" = trunc i64 %".282" to i32
  %".284" = zext i32 %".283" to i64
  %".285" = trunc i64 %".284" to i32
  %".286" = zext i32 %".285" to i64
  %".287" = trunc i64 %".286" to i32
  %".288" = trunc i64 %".262" to i32
  %".289" = zext i32 %".288" to i64
  %".290" = trunc i64 %".289" to i32
  %".291" = zext i32 %".290" to i64
  %".292" = trunc i64 %".291" to i32
  %".293" = lshr i64 %"SymVar_0", 40
  %".294" = trunc i64 %".293" to i8
  %".295" = zext i8 %".294" to i32
  %".296" = zext i32 %".295" to i64
  %".297" = trunc i64 %".296" to i8
  %".298" = zext i8 %".297" to i32
  %".299" = zext i32 %".298" to i64
  %".300" = trunc i64 %".299" to i8
  %".301" = zext i8 %".300" to i32
  %".302" = zext i32 %".301" to i64
  %".303" = trunc i64 %".302" to i32
  %".304" = zext i32 %".303" to i64
  %".305" = trunc i64 %".304" to i32
  %".306" = add i32 %".292", %".305"
  %".307" = zext i32 %".306" to i64
  %".308" = trunc i64 %".307" to i32
  %".309" = zext i32 %".308" to i64
  %".310" = trunc i64 %".309" to i32
  %".311" = zext i32 %".310" to i64
  %".312" = zext i32 0 to i64
  %".313" = shl i64 %".312", 32
  %".314" = or i64 %".311", %".313"
  %".315" = zext i32 65521 to i64
  %".316" = urem i64 %".314", %".315"
  %".317" = trunc i64 %".316" to i32
  %".318" = zext i32 %".317" to i64
  %".319" = trunc i64 %".318" to i32
  %".320" = zext i32 %".319" to i64
  %".321" = trunc i64 %".320" to i32
  %".322" = zext i32 %".321" to i64
  %".323" = trunc i64 %".322" to i32
  %".324" = zext i32 %".323" to i64
  %".325" = trunc i64 %".324" to i32
  %".326" = add i32 %".287", %".325"
  %".327" = zext i32 %".326" to i64
  %".328" = trunc i64 %".327" to i32
  %".329" = zext i32 %".328" to i64
  %".330" = trunc i64 %".329" to i32
  %".331" = zext i32 %".330" to i64
  %".332" = zext i32 0 to i64
  %".333" = shl i64 %".332", 32
  %".334" = or i64 %".331", %".333"
  %".335" = zext i32 65521 to i64
  %".336" = urem i64 %".334", %".335"
  %".337" = trunc i64 %".336" to i32
  %".338" = zext i32 %".337" to i64
  %".339" = trunc i64 %".338" to i32
  %".340" = zext i32 %".339" to i64
  %".341" = trunc i64 %".340" to i32
  %".342" = zext i32 %".341" to i64
  %".343" = trunc i64 %".342" to i32
  %".344" = zext i32 %".343" to i64
  %".345" = trunc i64 %".344" to i32
  %".346" = trunc i64 %".320" to i32
  %".347" = zext i32 %".346" to i64
  %".348" = trunc i64 %".347" to i32
  %".349" = zext i32 %".348" to i64
  %".350" = trunc i64 %".349" to i32
  %".351" = lshr i64 %"SymVar_0", 48
  %".352" = trunc i64 %".351" to i8
  %".353" = zext i8 %".352" to i32
  %".354" = zext i32 %".353" to i64
  %".355" = trunc i64 %".354" to i8
  %".356" = zext i8 %".355" to i32
  %".357" = zext i32 %".356" to i64
  %".358" = trunc i64 %".357" to i8
  %".359" = zext i8 %".358" to i32
  %".360" = zext i32 %".359" to i64
  %".361" = trunc i64 %".360" to i32
  %".362" = zext i32 %".361" to i64
  %".363" = trunc i64 %".362" to i32
  %".364" = add i32 %".350", %".363"
  %".365" = zext i32 %".364" to i64
  %".366" = trunc i64 %".365" to i32
  %".367" = zext i32 %".366" to i64
  %".368" = trunc i64 %".367" to i32
  %".369" = zext i32 %".368" to i64
  %".370" = zext i32 0 to i64
  %".371" = shl i64 %".370", 32
  %".372" = or i64 %".369", %".371"
  %".373" = zext i32 65521 to i64
  %".374" = urem i64 %".372", %".373"
  %".375" = trunc i64 %".374" to i32
  %".376" = zext i32 %".375" to i64
  %".377" = trunc i64 %".376" to i32
  %".378" = zext i32 %".377" to i64
  %".379" = trunc i64 %".378" to i32
  %".380" = zext i32 %".379" to i64
  %".381" = trunc i64 %".380" to i32
  %".382" = zext i32 %".381" to i64
  %".383" = trunc i64 %".382" to i32
  %".384" = add i32 %".345", %".383"
  %".385" = zext i32 %".384" to i64
  %".386" = trunc i64 %".385" to i32
  %".387" = zext i32 %".386" to i64
  %".388" = trunc i64 %".387" to i32
  %".389" = zext i32 %".388" to i64
  %".390" = zext i32 0 to i64
  %".391" = shl i64 %".390", 32
  %".392" = or i64 %".389", %".391"
  %".393" = zext i32 65521 to i64
  %".394" = urem i64 %".392", %".393"
  %".395" = trunc i64 %".394" to i32
  %".396" = zext i32 %".395" to i64
  %".397" = trunc i64 %".396" to i32
  %".398" = zext i32 %".397" to i64
  %".399" = trunc i64 %".398" to i32
  %".400" = zext i32 %".399" to i64
  %".401" = trunc i64 %".400" to i32
  %".402" = zext i32 %".401" to i64
  %".403" = trunc i64 %".402" to i32
  %".404" = trunc i64 %".378" to i32
  %".405" = zext i32 %".404" to i64
  %".406" = trunc i64 %".405" to i32
  %".407" = zext i32 %".406" to i64
  %".408" = trunc i64 %".407" to i32
  %".409" = lshr i64 %"SymVar_0", 56
  %".410" = trunc i64 %".409" to i8
  %".411" = zext i8 %".410" to i32
  %".412" = zext i32 %".411" to i64
  %".413" = trunc i64 %".412" to i8
  %".414" = zext i8 %".413" to i32
  %".415" = zext i32 %".414" to i64
  %".416" = trunc i64 %".415" to i8
  %".417" = zext i8 %".416" to i32
  %".418" = zext i32 %".417" to i64
  %".419" = trunc i64 %".418" to i32
  %".420" = zext i32 %".419" to i64
  %".421" = trunc i64 %".420" to i32
  %".422" = add i32 %".408", %".421"
  %".423" = zext i32 %".422" to i64
  %".424" = trunc i64 %".423" to i32
  %".425" = zext i32 %".424" to i64
  %".426" = trunc i64 %".425" to i32
  %".427" = zext i32 %".426" to i64
  %".428" = zext i32 0 to i64
  %".429" = shl i64 %".428", 32
  %".430" = or i64 %".427", %".429"
  %".431" = zext i32 65521 to i64
  %".432" = urem i64 %".430", %".431"
  %".433" = trunc i64 %".432" to i32
  %".434" = zext i32 %".433" to i64
  %".435" = trunc i64 %".434" to i32
  %".436" = zext i32 %".435" to i64
  %".437" = trunc i64 %".436" to i32
  %".438" = zext i32 %".437" to i64
  %".439" = trunc i64 %".438" to i32
  %".440" = zext i32 %".439" to i64
  %".441" = trunc i64 %".440" to i32
  %".442" = add i32 %".403", %".441"
  %".443" = zext i32 %".442" to i64
  %".444" = trunc i64 %".443" to i32
  %".445" = zext i32 %".444" to i64
  %".446" = trunc i64 %".445" to i32
  %".447" = zext i32 %".446" to i64
  %".448" = zext i32 0 to i64
  %".449" = shl i64 %".448", 32
  %".450" = or i64 %".447", %".449"
  %".451" = zext i32 65521 to i64
  %".452" = urem i64 %".450", %".451"
  %".453" = trunc i64 %".452" to i32
  %".454" = zext i32 %".453" to i64
  %".455" = trunc i64 %".454" to i32
  %".456" = zext i32 %".455" to i64
  %".457" = trunc i64 %".456" to i32
  %".458" = zext i32 %".457" to i64
  %".459" = trunc i64 %".458" to i32
  %".460" = zext i32 %".459" to i64
  %".461" = trunc i64 %".460" to i32
  %".462" = zext i8 16 to i32
  %".463" = and i32 %".462", 31
  %".464" = shl i32 %".461", %".463"
  %".465" = zext i32 %".464" to i64
  %".466" = trunc i64 %".465" to i32
  %".467" = zext i32 %".466" to i64
  %".468" = trunc i64 %".467" to i32
  %".469" = trunc i64 %".436" to i32
  %".470" = zext i32 %".469" to i64
  %".471" = trunc i64 %".470" to i32
  %".472" = zext i32 %".471" to i64
  %".473" = trunc i64 %".472" to i32
  %".474" = or i32 %".468", %".473"
  %".475" = zext i32 %".474" to i64
  %".476" = trunc i64 %".475" to i32
  %".477" = zext i32 %".476" to i64
  %".478" = trunc i64 %".477" to i32
  %".479" = zext i32 %".478" to i64
  %".480" = trunc i64 %".479" to i32
  %".481" = zext i32 %".480" to i64
  %".482" = trunc i64 %".481" to i32
  %".483" = zext i32 %".482" to i64
  %".484" = trunc i64 %".483" to i32
  %".485" = zext i32 %".484" to i64
  %".486" = trunc i64 %".485" to i32
  %".487" = zext i32 %".486" to i64
  ret i64 %".487"
}
